Ocl 94
نویسنده
چکیده
provide a simple electrical equivalent circuit that lends itself to circuit analysis. The magnetic structure shown in Figure 1 will be the first demonstration of this technique. This simple inductor is built upon a ferrite core, with air gaps to store the required inductive energy created by simply shimming the two core halves apart (not usually a good practice, but inexpensive). Purpose: I. To define the electrical circuit equivalents of magnetic device structures to enable improved analysis of circuit performance.
منابع مشابه
Panel Discussion: Proposals for Improving OCL
During the panel session at the OCL workshop, the OCL community discussed, stimulated by short presentations by OCL experts, potential future extensions and improvements of the OCL. As such, this panel discussion continued the discussion that started at the OCL meeting in Aachen in 2013 and on which we reported in the proceedings of the last year’s OCL workshop. This collaborative paper, to whi...
متن کاملImproving the Usability of OCL as an Ad-hoc Model Querying Language
The OCL is often perceived as difficult to learn and use. In previous research, we have defined experimental query languages exhibiting higher levels of usability than OCL. However, none of these alternatives can rival OCL in terms of adoption and support. In an attempt to leverage the lessons learned from our research and make it accessible to the OCL community, we propose the OCL Query API (O...
متن کاملModel and Object Verification by Using Dresden OCL
1 The Object Constraint Language (OCL) is a formal language standardized by the OMG (Object Management Group) that allows the specification of constraints on MOF(Meta Object Facility) or EMF (Eclipse Modeling Framework) Ecore-based models. After about ten years of research and OCL prototyping in the area of using formal methods in practical software engineering, OCL is appreciated by the indust...
متن کاملTeaching OCL Standard Library: First Part of an OCL 2.x Course
Our aim is to provide a complete set of materials to teach OCL. They can be used in bachelor or master programs of computer science curricula and for training in an industrial context. In this paper we present the first part of the course related to the OCL Standard Library. This part provides model independent examples to teach OCL types and their operations. It enables users to gain a basic u...
متن کاملOCL meets CTL: Towards CTL-Extended OCL Model Checking
In software modeling, the Object Constraint Language (OCL) is an important tool to specify properties that a model has to satisfy. The design of OCL reflects the structure of MOF-based modeling languages like UML and the tight integration results in an intuitive usability. However, OCL allows to express properties in the context of the current state of an instance model only but not with respec...
متن کامل